es{-}p{-}local{-}pred(${\it es}$;$P$)($e$,${\it e'}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(${\it e'}$ $<$loc $e$) \& $P$(${\it e'}$) \& ($\forall$${\it e''}$:E. (${\it e''}$ $<$loc $e$) $\Rightarrow$ (${\it e'}$ $<$loc ${\it e''}$) $\Rightarrow$ ($\neg$($P$(${\it e''}$))))